对每个复数 $z$, $\exp(z)$ 定义为

\[\exp(z)=\sum_{n=0}^{\infty}\frac{z^n}{n!}\]

证明:

(1) 此级数对每个 $z\in\mathbb{C}$ 绝对收敛.

(2) 对复平面的每个有界子集一致收敛.

由绝对收敛指出下面(复数)级数的乘积

\[
\begin{split}
(\sum_{k=0}^{\infty}\frac{z^k}{k!})\cdot(\sum_{m=0}^{\infty}\frac{w^m}{m!})&=\sum_{n=0}^{\infty}\frac{1}{n!}\sum_{k=0}^{n}\frac{n!}{k!(n-k)!}z^k w^{n-k}\\
&=\sum_{n=0}^{\infty}\frac{(z+w)^n}{n!}
\end{split}
\]

是正确的. 它给出了重要的加法公式

\[
\exp(z)\cdot\exp(w)=\exp(z+w),\quad\forall\ z,w\in\mathbb{C}.
\]

因此, 为了兼容实数时的习惯, 我们记 $e^z=\exp(z)$, 从而也有这种形式 $e^z e^w=e^{z+w}$.

显然 $e=\exp(1)$. $e^0=\exp(0)=1$.

下面的定理可以被认为是复变函数的基础.

定理. 

(a)  对每个复数 $z$, $e^z\neq 0$.

(b) $\exp'(z)=\exp(z)$.

(c)

参见 [1] 引言.

References:

[1] W. Rudin, 《实分析和复分析》